Specification tree